CTL[2]

Compiler Target Language

The intermediate language used by the ALICE parallel machine.

"The Design and Implementation of ALICE: A Parallel Graph Reduction Machine", M. D. Cripps et al, Proceedings of the Workshop on Graph Reduction, Springer-Verlag, 1987.